least fixpoint of functionals

泛函的最小不动点